<html>
<head><meta charset="utf-8"><title>polonius v0.7.0 released · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/polonius.20v0.2E7.2E0.20released.html">polonius v0.7.0 released</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="162952677"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/polonius%20v0.7.0%20released/near/162952677" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/polonius.20v0.2E7.2E0.20released.html#162952677">(Apr 09 2019 at 21:42)</a>:</h4>
<p>Ok <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> I released Polonius v0.7.0, so we can try to open the rustc PR</p>



<a name="162984444"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/polonius%20v0.7.0%20released/near/162984444" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/polonius.20v0.2E7.2E0.20released.html#162984444">(Apr 10 2019 at 08:28)</a>:</h4>
<blockquote>
<p>Ok <span class="user-mention silent" data-user-id="204115">Albin Stjerna</span> I released Polonius v0.7.0, so we can try to open the rustc PR</p>
</blockquote>
<p><del>There is a bit more work than just version-bumping: Polonius <code>Output</code> is now generic with respect to a variable index type, and I'm not sure what to use. I guess something like <code>LocationIndex</code> in the <code>location</code>module, but this is one of the things I got stuck on when I tried to follow the existing liveness logic because as I understand it, it never uses global IDs for variables that we could use for Polonius?</del></p>
<p>Nevermind, I got thrown by a weird compile error:</p>
<div class="codehilite"><pre><span></span>error[E0277]: the trait bound `rustc::ty::RegionVid: polonius_engine::facts::Atom` is not satisfied
  --&gt; src/librustc_mir/borrow_check/nll/constraint_generation.rs:16:1
   |
16 | / pub(super) fn generate_constraints&lt;&#39;cx, &#39;gcx, &#39;tcx&gt;(
17 | |     infcx: &amp;InferCtxt&lt;&#39;cx, &#39;gcx, &#39;tcx&gt;,
18 | |     liveness_constraints: &amp;mut LivenessValues&lt;RegionVid&gt;,
19 | |     all_facts: &amp;mut Option&lt;AllFacts&gt;,
...  |
34 | |     }
35 | | }
   | |_^ the trait `polonius_engine::facts::Atom` is not implemented for `rustc::ty::RegionVid`
   |
   = note: required by `polonius_engine::facts::AllFacts`
</pre></div>



<a name="162984530"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/polonius%20v0.7.0%20released/near/162984530" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/polonius.20v0.2E7.2E0.20released.html#162984530">(Apr 10 2019 at 08:29)</a>:</h4>
<p>(deleted)</p>



<a name="162994085"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/polonius%20v0.7.0%20released/near/162994085" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/polonius.20v0.2E7.2E0.20released.html#162994085">(Apr 10 2019 at 11:06)</a>:</h4>
<p>(I'm heading off to work and some errands soon, but in case you come back before I have Figured It All Out: this is weird, as the compiler is complaining that the Atom trait is not implemented for the RegionVids, which it is, and moreover, neither the code defining the trait nor the RegionVids has changed)</p>



<a name="163003689"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/polonius%20v0.7.0%20released/near/163003689" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/polonius.20v0.2E7.2E0.20released.html#163003689">(Apr 10 2019 at 13:25)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> my guess would be that there are two distinct versions of <code>polonius-engine</code> in use</p>



<a name="163003713"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/polonius%20v0.7.0%20released/near/163003713" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/polonius.20v0.2E7.2E0.20released.html#163003713">(Apr 10 2019 at 13:25)</a>:</h4>
<p>probably in different <code>Cargo.toml</code> files</p>



<a name="163011542"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/polonius%20v0.7.0%20released/near/163011542" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/polonius.20v0.2E7.2E0.20released.html#163011542">(Apr 10 2019 at 14:51)</a>:</h4>
<p>Yes of course, because there are many of them</p>



<a name="163011570"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/polonius%20v0.7.0%20released/near/163011570" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/polonius.20v0.2E7.2E0.20released.html#163011570">(Apr 10 2019 at 14:51)</a>:</h4>
<p>Makes total sense</p>



<a name="163031599"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/polonius%20v0.7.0%20released/near/163031599" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/polonius.20v0.2E7.2E0.20released.html#163031599">(Apr 10 2019 at 18:24)</a>:</h4>
<p>Yep, that seems to have been the problem. Building <code>rustc</code> now!</p>



<a name="163044284"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/polonius%20v0.7.0%20released/near/163044284" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/polonius.20v0.2E7.2E0.20released.html#163044284">(Apr 10 2019 at 20:51)</a>:</h4>
<p>OK: <a href="https://github.com/rust-lang/rust/pull/59856" target="_blank" title="https://github.com/rust-lang/rust/pull/59856">pull request up</a>!</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>